Skip to content

add github workflows#64

Merged
gvdongen merged 8 commits into
mainfrom
git_workflows
Oct 29, 2025
Merged

add github workflows#64
gvdongen merged 8 commits into
mainfrom
git_workflows

Conversation

@gvdongen

Copy link
Copy Markdown
Collaborator

No description provided.

@gvdongen
gvdongen merged commit 298765e into main Oct 29, 2025
7 checks passed
@gvdongen
gvdongen deleted the git_workflows branch October 29, 2025 08:51
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 29, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant